Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
81	Replication, Recursion and Concurrency J. Garrett Morris University of Edinburgh Sessions and linearity Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2014-01-09 09:03:28 Computability theory Theoretical computer science Recursion Process calculi -calculus Type Linear logic Linearity Primitive recursive function operator
82	A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science IP Integration by substitution Hoare logic Substitution Mathematical proof KeY Predicate transformer semantics Verification condition generator Initialization Linear temporal logic
83	Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases Christian Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg Department of Computing and Information Systems, University of Melbourne {ch Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-02-22 18:34:09 IP Symbol Mathematical logic Distribution Model theory Constructible universe Modal logic Craig interpolation Linear temporal logic
84	Verification from Declarative Specifications Using Logic Programming Marco Montali1 , Paolo Torroni1 , Marco Alberti2 , Federico Chesani1 , Marco Gavanelli2 , Evelina Lamma2 , and Paola Mello1 1 Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:06:58 Programming paradigms Abductive logic programming Linear temporal logic Model checking Formal verification NuSMV Constraint programming Temporal logic Declarative programming Prolog Logic programming Entityrelationship model
85	The complexity of positive first-order logic without equality Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. Barnaby Martin ´Equipe d Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-07 14:48:41 Functional analysis Lemmas Symbol FO IP Dual space Craig interpolation Model theory Linear temporal logic
86	Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA) Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-05-29 14:49:51 Finite automata Theoretical computer science Formal languages Infographics Linear temporal logic Temporal logic Finite-state machine Diagram Sequence Formal verification Automata theory Bchi automaton
87	Nonlinear Wavelet Image Processing: Variational Problems, Compression, and Noise Removal through Wavelet Shrinkage∗ Antonin Chambolle1 , Ronald A. DeVore2 , Nam-yong Lee3 , and Bradley J. Lucier4 Abstract This paper ex Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 1998-08-26 14:45:18 Functional analysis Signal processing Timefrequency analysis Wavelet Dual space Craig interpolation Haar wavelet Linear temporal logic Differential forms on a Riemann surface
88	Natural Temporal Difference Learning Add to Reading List Source URL: psthomas.com Language: English - Date: 2014-11-06 09:18:20 Smooth functions Distribution Functional analysis Reinforcement learning Linear temporal logic
89	Lecture 20 Spectral Graph Theory and its Applications Graph Decompositions November 18, 2004 Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2005-06-30 12:02:49 Operator theory Contraction Linear temporal logic Positive-definite function on a group
90	Algorithms and Data Structures (WS15/16) Example Solutions for Unit 4 Problem 1 A simple algorithm to solve this problem is sorting both sets A and B and then doing a linear scan to check for common elements. We start fr Add to Reading List Source URL: www-tcs.cs.uni-sb.de Language: English - Date: 2016-03-02 15:25:03 Algorithm Mathematical logic Theoretical computer science Combinatorial optimization Operations research

UPDATE